python random.setstate(), seed() - 是否保证跨实现的结果相同？